Reasoning in Metamodeling Enabled Ontologies
نویسندگان
چکیده
Ontologies are expected to play an important role in many application domains, as well as in software engineering in general. One problem with using ontologies within software engineering is that while UML, a widely used standard for specifying and constructing the models for a software-intensive system, has a four-layer metamodeling architecture, the standard OWL Web Ontology Language does not support reasoning over layered metamodels. OWL2 provides simple metamodeling by using a punning approach, however, the interpretation function is different based on the context, which leads to non-intuitive results. The OWL FA Language has a well defined metamodeling architecture. However, there is no study and tool for support reasoning over OWL FA. In this paper, we briefly discuss some reasoning tasks in OWL FA. We also provide OWL FA Tool kit, a simple tool kit for manipulating and reasoning with OWL FA.
منابع مشابه
Modelling and Reasoning in Metamodelling Enabled Ontologies
Ontologies are expected to play an important role in many application domains, as well as in software engineering in general. One problem with using ontologies within software engineering is that while UML, a widely used standard for specifying and constructing the models for a software-intensive system, has a four-layer metamodelling architecture, the standard Web Ontology Language (OWL) does ...
متن کاملBringing Ontology Awareness into Model Driven Engineering Platforms
In state-of-the-art of MDE platforms semantic technologies such as ontologies are rarely used. Our aim is to understand the role of ontologies in supporting model-driven engineering, in particular MDE platforms. MDE platforms may benefit from semantic technologies in formal model semantics and automated reasoning on different levels of the metamodelling architecture. We present an ontology-awar...
متن کاملMetamodeling-Based Coherence Checking of OWL Vocabulary Background Models
The surface (or, foreground) structure of linked data and their associated OWL vocabularies can be complemented by background models expressing valid ontological distinctions that may have become obscured by the modeling style chosen by the vocabulary designer. Background models can generally serve for debugging, visualization, matching, or even pattern-based design of operational ontologies su...
متن کاملTowards using OWL DL as a metamodelling framework for ATL
Ontologies have become increasingly relevant to the modelling community, providing a knowledgebase to support several software engineering activities. As such, several efforts have been made to integrate ontology technology with modelling technology. This has resulted in the Ontology Definition Metamodel (ODM), which allows model transformation languages to interact directly with ontologies. Th...
متن کاملOn Synergies between Model Transformations and Semantic Web Technologies
The integration of heterogeneous data is a reoccurring problem in different technical spaces. With the rise of model-driven engineering (MDE), much effort has been spent in developing dedicated transformation languages and accompanying engines to transform, compare, and synchronize heterogeneous models. At the same time, ontologies have been proposed in the Semantic Web area as the main mean to...
متن کامل